Modelling and Verifying of e-Commerce Systems
نویسنده
چکیده
Static function hierarchies and models of the dynamic behaviour are typically used in e-commerce systems. Issues to be verifies are the completeness and correctness of the static function hierarchies, business rules valid in defined business domains and the consistency of models on different levels of abstraction. Today the systems are mostly tested manually. Automated support may the verification of static dependencies modelled in Boolean logic. Moreover, the checking of dynamic process models can be supported by temporal logic specifications and model checking tools.
منابع مشابه
Comparative study of effect of E-commerce on tax structure in selected countries: suggestions to improve tax system of Iran
E-commerce that has undergone an increasing trend in recent years has been regarded as the modern method for transfer of information and economic exchange. This phenomenon brings about massive changes in most of relations between various economic institutions. Such changes have also occurred in tax systems. Hence, the present research aims to investigate effect of E-commerce on tax structure ...
متن کاملComparative study of effect of E-commerce on tax structure in selected countries: suggestions to improve tax system of Iran
E-commerce that has undergone an increasing trend in recent years has been regarded as the modern method for transfer of information and economic exchange. This phenomenon brings about massive changes in most of relations between various economic institutions. Such changes have also occurred in tax systems. Hence, the present research aims to investigate effect of E-commerce on tax structure ...
متن کاملFeasibility of Electronic Commerce at Cooperative in Gilan Province to Select an Appropriate E-Commerce Model by Using Fuzzy Analysis Network Process
Electronic commerce as one of the most important of Innovation aspects in the process of doing business is used by many organizations and companies in the world. Cooperatives as the main part of the country's economy have fundamental role in improving and promoting of economic. Therefore, innovation methods and tools, new processes and perform business tasks such as e-commerce will play an i...
متن کاملFeasibility of Electronic Commerce at Cooperative in Gilan Province to Select an Appropriate E-Commerce Model by Using Fuzzy Analysis Network Process
Electronic commerce as one of the most important of Innovation aspects in the process of doing business is used by many organizations and companies in the world. Cooperatives as the main part of the country's economy have fundamental role in improving and promoting of economic. Therefore, innovation methods and tools, new processes and perform business tasks such as e-commerce will play an i...
متن کاملVerifying Business Processes Extracted from E-Commerce Systems Using Dynamic Analysis
E-commerce systems must react in real-time to user inputs and business rules. For the purpose of redocumentation, static analysis is often adopted to recover business processes implemented in ecommerce systems. However, static analysis fails to recover the complete tasks in business processes due to the dynamic nature of e-commerce systems. To improve the accuracy of recovered business processe...
متن کامل